Date: Tue, 07 Jan 1997 15:44:22 GMT
Server: NCSA/1.4.2
Content-type: text/html

<title>Past Visitors and Collaborators</title>
<h1>Past Visitors and Collaborators</h1>

<ul>

<li>Dave Barker-Plummer
<ul><li>Developed Gazer.
<li>Also developed Z-match.
<li>Currenly working on using information from diagrams to prove theorems.
</ul>

<li>Bishop Brock
<ul><li>Worked on analogy.</ul>

<li>Frank M. Brown
<ul><li>Worked on a prover for set theory.</ul>

<li>Shuan Cooper
<ul><li>Worked on analogy.</ul>

<li><!WA0><a href="http://www.cs.duke.edu/~amit/Ai.html">Don Loveland</a>
<ul><li>Works on the model elimination procedure and the use of lemmas
in first-order logic proofs.</ul>

<li>Irena Pevac
<ul><li>Worked on the Precondition Prover.</ul>

<li>William Pierce
<ul><li>Worked on analogy.</ul>

<li>Randolph Wang
<ul><li>Worked on the Precondition Prover.</ul>

<li> <em>This is an incomplete list.</em>

</ul>

<hr>

<em>Do you have feedback or want more information?  Contact </em><!WA1><a
href="http://www.ma.utexas.edu/users/bshults">Benjamin Shults</a>.

<hr>

